On the Taylor functional calculus

The Taylor Method for Numerical Solution of Fuzzy Generalized Pantograph Equations with Linear Functional Argument

What is a categorical model of the differential and the resource lambda-calculi?

The differential λ-calculus is a paradigmatic functional programming language endowed with a syntactical differentiation operator that allows to apply a program to an argument in a linear way. One of the main features of this language is that it is resource conscious and gives the programmer suitable primitives to handle explicitly the resources used by a program during its execution. The diffe...

What is a categorical model of the differential and the resource λ-calculi?

The differential λ-calculus is a paradigmatic functional programming language endowed with a syntactical differentiation operator that allows to apply a program to an argument in a linear way. One of the main features of this language is that it is resource conscious and gives the programmer suitable primitives to handle explicitly the resources used by a program during its execution. The diffe...

On positivity, shape, and norm-bound preservation of time-stepping methods for semigroups

We use functional calculus methods to investigate qualitative properties of C0semigroups that are preserved by time-discretization methods. Preservation of positivity, concavity and other qualitative shape properties which can be described via positivity are treated in a Banach lattice framework. Preservation of contractivity (or norm-bound) of the semigroup is investigated in the Banach space ...

On certain fractional calculus operators involving generalized Mittag-Leffler function

The object of this paper is to establish certain generalized fractional integration and differentiation involving generalized Mittag-Leffler function defined by Salim and Faraj [25]. The considered generalized fractional calculus operators contain the Appell's function $F_3$ [2, p.224] as kernel and are introduced by Saigo and Maeda [23]. The Marichev-Saigo-Maeda fractional calculus operators a...